例句與造句

1. There is a close relationship between material equivalence and logical equivalence.
2. The following logical equivalences demonstrate that commutativity is a property of particular connectives.
3. This is expressed in a propositional calculus as logical equivalence of certain compound statements.
4. Logical equivalence between two propositions means that they are true together or false together.
5. Logical equivalence is different from material equivalence.
6. It's difficult to find logical equivalence in a sentence. 用logical equivalence造句挺難的
7. Different authors use different signs for logical equivalence : ?! ( e . g.
8. Due to their logical equivalence, stating one effectively states the other; when one is true, the other is also true.
9. However, in a special context users might care about special semantics beyond the generic logical equivalence with which Canonical XML is associated.
10. The " logical equivalence " of " NAND alone ", " NOR alone ", and " NOT and AND " is similar to Turing equivalence.
11. The process of the logical equivalence of a statement and its contrapositive as defined in traditional class logic is " not " one of the axioms of propositional logic.
12. They include the symbols for truth-functional connectives ( such as and, or, not, implies, and logical equivalence ) and the symbols for the quantifiers " for all " and " there exists ".
13. In logically equivalent to " not ( not-A " ), or by the formula A a " ~ ( ~ A ) where the sign a " expresses logical equivalence and the sign ~ expresses negation.
14. Therefore, instead of blindly assuming that no mistakes were made, a verification step is needed to check the logical equivalence of the final version of the netlist to the original description of the design ( golden reference model ).
15. The logical equivalence between an empirical datum, which is a macroscopic phenomenon, and the result of a measurement, which is a quantum property, becomes clearer in the new approach, whereas it remained mostly tacit and questionable in the Copenhagen formulation.
16. This means : " We assert the truth of the following : There exists a function " f " with the property that : given all values of " x ", their evaluations in function ? ( i . e ., resulting their matrix ) is logically equivalent to some " f " evaluated at those same values of " x " . ( and vice versa, hence logical equivalence ) ".
更多例句：  下一頁(yè)